It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...) the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

(Expected) adverse effects of the ‘ICT Revolution’ on work and opportunities for individuals to use and develop their capacities give a new impetus to the debate on the societal implications of technology and raise questions regarding the ‘responsibility’ of research and innovation (RRI) and the possibility of achieving ‘inclusive and sustainable society’. However, missing in this debate is an examination of a possible conflict between the quest for ‘inclusive and sustainable society’ and conventional economic principles guiding capital allocation (including the (...) funding of research and innovation). We propose that such conflict can be resolved by re-examining the nature and purpose of capital, and by recognising mainstream economics’ utilitarian foundations as an unduly restrictive subset of a wider Aristotelian understanding of choice. (shrink)

In response to Petitmengin and Bitbol's recent account of first-person methodologies in the study of consciousness, I provide a revised model of our introspective knowledge of our own conscious experience. This model, which I call the existential constitution model of phenomenal knowledge, avoids the problems that Petitmengin and Bitbol identify with standard observational models of introspection while also avoiding an underlying metaphorical misconception in their own proximity model, which misconstrues first-person knowledge of consciousness in terms of a dichotomous epistemic relationship. (...) The end result is a clearer understanding of the unique nature and epistemic properties of our knowledge of consciousness, as well as the epistemic status of subsequent first-person reports on conscious experience. (shrink)

We analyse Hutto & Myin's three arguments against computationalism [Hutto, D., E. Myin, A. Peeters, and F. Zahnoun. Forthcoming. “The Cognitive Basis of Computation: Putting Computation In Its Place.” In The Routledge Handbook of the Computational Mind, edited by M. Sprevak, and M. Colombo. London: Routledge.; Hutto, D., and E. Myin. 2012. Radicalizing Enactivism: Basic Minds Without Content. Cambridge, MA: MIT Press; Hutto, D., and E. Myin. 2017. Evolving Enactivism: Basic Minds Meet Content. Cambridge, MA: MIT Press]. The Hard Problem (...) of Content targets computationalism that relies on semantic notion of computation, claiming that it cannot account for the natural origins of content. The Intentionality Problem is targeted against computationalism using non-semantic accounts of computation, arguing that it fails in explaining intentionality. Theion Problem claims that causal interaction between concrete physical processes and abstract computational properties is problematic. We argue that these a... (shrink)

This essay is part of a larger project in which I construct a new, historically-informed, social justice-centered philosophy of dance, centered on four central phenomenological constructs, or “Moves.” This essay in particular is about the fourth Move, “resilience.” More specifically, I explore how Judith Butler engages with the etymological aspects of this word, suggesting that resilience involves a productive form of madness and a healthy form of compulsion, respectively. I then conclude by showing how “resilience” can be used in (...) the analysis of various Wittgensteinian “families” of dance, which in turn could facilitate positive educational changes in philosophy, dance and society, with particular efficacy on the axis of gender. In brief, by teaching a conception of strength as vulnerability (instead of machismo’s view of strength as apathetic “toughness”), a pedagogy of dancing resilience provides additional support for feminists (including Anzaldúa, Haraway, Butler and Concepción) who advocate a cautious openness toward seemingly-unlikely resources and allies (including analytic methodologies, Machiavellian politics, and the discourses of the natural sciences). (shrink)

In his 2007 book, /Self-Consciousness/, Sebastian Rödl presents his topic—that of first-person thought—as ‘a manner of thinking of an object, or a form of reference’ to a particular thing. A decade later, in /Self-Consciousness and Objectivity: An Introduction to Absolute Idealism/, Rödl rejects what he now calls the ‘lingering naturalism’ of that earlier work, which he roots in the ‘dogmatic presupposition’ that ‘I’ is a word that makes reference. The volume under review comprises seventeen critical essays on /Self-Consciousness and Objectivity/, (...) together with an introduction by Jesse M. Mulder and a lengthy set of replies from Rödl. Given the scope of the issues they raise, my discussion focuses on one important thread that runs through a number of the essays, namely the question of whether Rödl’s anti-naturalism can accommodate the evident fact that at least some of the subjects of thought and judgment are individual human beings. (shrink)

This essay interprets Butler’s distinction between identity in the loose and popular sense and in the strict and philosophical sense. Suppose there are different standards for counting the same things. Then what are two distinct things counting strictly may be one and the same thing counting loosely. Within a given standard identity is one-one. But across standards it is many-one. An alternative interpretation using the parts-whole relation fails, because that relation should be understood as many-one identity. Another alternative making (...) identity relative to sort fails, because whole and parts can be of the same sort. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:This Universalism Which Is Not OneLinda M. G. Zerilli (bio)Ernesto Laclau. Emancipation(s). London: Verso, 1996.Judging from the recent spate of publications devoted to the question of the universal, it appears that, in the view of some critics, we are witnessing a reevaluation of its dismantling in twentieth-century thought. One of the many oddities about this “return of the universal” 1 is the idea that contemporary engagements with it are (...) more or less of a piece, and that they reflect a growing consensus that poststructuralist political theories are incapable of generating a viable alternative to the collective fragmentation that characterizes late modernity. 2 The putative return to the universal marks, on this view, both a homecoming to Enlightenment ideals—purified of their more poisonous elements, of course—and a reconciliation of sorts between those who refuted these ideals and those who sought to realize them. Now that “we” all know and agree that poststructuralism is critically valuable but politically bankrupt; now that we all know and agree that the “old universal” was indeed a “pseudo-universal,” so the homecoming narrative goes; we can get on with the project of constructing a “new universal.” 3 This authentic universal would really be inclusive of all people, regardless of race, class, gender, sexuality, ethnicity, nationality, and whatever else attaches to the “embarrassing etcetera” that, as Judith [End Page 3] Butler reminds us, inevitably accompanies such gestures of acknowledging human diversity.Before signing on to this felicitous agreement about “the necessity of universalism,” we may wish to know whether we have anything like a minimal agreement in language, that is, whether we who speak of this universal are even speaking about the same thing. Apart from the not insignificant problem of translating from a philosophical to a political idiom, the whole question of this agreement is virtually occluded by the rush to rescue politics from the virulent particularisms that admit no common ground or sense of collective belonging. Presented in terms of the familiar binary couple, the choice between universalism and particularism seems settled by merely pointing to global and domestic political realities. Universalism is the only alternative to social fragmentation, wild child of the collapse of communism, the rise of deadly nationalisms, and the multiculturalist romance with particularism. To invoke the name of the universal in any affirmative sense is already to sign on to the political diagnosis and its solution.One of the many virtues of Ernesto Laclau’s Emancipation(s) is that it offers both an alternative to the binarisms spawned by the “return” to the universal (for example, false universalism/true universalism) and a trenchant critique of the original binary couple itself (universalism/ particularism). Demonstrating the imbrication of the universal and the particular, Laclau shows why it is a matter not of choosing one over the other but of articulating, in a scrupulously political sense, the relation between the two. He thus explicitly rejects the notion that this relation is one of mutual exclusion, and shows that the tendency to see it as just that has led to the impasse of the contemporary debate, an impasse that is glossed over in some highly visible academic cases by proclaiming the necessary return to the universal. Although the language of universalism as spoken by Laclau searches for some common ground between particularists and universalists, it is more by way of articulating their mutual contamination, that is, how each is rendered impure by the irreducible presence of the other.The Problem of UniversalsLaclau situates his collection of essays in the context of the increasingly polarized debate over multiculturalism, a debate in which the classical universalism of the philosophical tradition has come under serious question. Reading his essays, one comes to see the deep dependence of the entire contemporary discussion on this tradition, even when its metaphysical assumptions are explicitly rejected (as, say, in the work of Seyla Benhabib) or insufficiently comprehended (as in most of the popularized political discourse). Laclau’s book can help us to see that the political question of universalism cannot be posed properly as long as it remains tethered to the classical philosophical “problem of universals.” At stake in sorting out the affinities and... (shrink)

Compulsive smartphone users’ psyches, today, are increasingly directed away from their bodies and onto their devices. This phenomenon has now entered our global vocabulary as “smartphone zombies,” or what I will call “iZombies.” Given the importance of mind to virtually all conceptions of human identity, these compulsive users could thus be productively understood as a kind of human-machine hybrid entity, the cyborg. Assuming for the sake of argument that this hybridization is at worst axiologically neutral, I will construct a kind (...) of phenomenological psychological profile of the type of cyborg which engages in these patterns of behavior. I follow Judith Butler in seeing this identity as the result of performance practices, which as such can be modified or replaced using other performances. Pursing one such alternative, I compose a dancing critique that “reverse engineers” the choreographies implied by these cyborgs’ survival practices. The upshot of this critique is that their movement patterns do indeed align closely to those of horror cinema’s zombies. I therefore conclude by suggesting a few possible choreographic imperatives to facilitate more enabling ways of being for iZombie cyborgs today. (shrink)

Dance receives relatively little attention in the history of philosophy. My strategy for connecting that history to dance consists in tracing a genealogy of its dance-relevant moments. In preparation, I perform a phenomenological analysis of my own eighteen years of dance experience, in order to generate a small cluster of central concepts or “Moves” for elucidating dance. At this genealogical-phenomenological intersection, I find what I term “positure” most helpfully treated in Plato, Aristotle and Nietzsche; “gesture” similarly in Condillac, Mead and (...) Kristeva; “grace” in Avicenna, Schiller and Dewey; and “resilience” in Fanon, (Judith) Butler and Deleuze. With these analyses in place, I apply the four Moves in analyzing various forms of dancing (including salsa dancing and the pollen dance of the honeybee) and coordinate them to outline a comprehensive philosophy of dance. This philosophy points to certain conditions for an ideally flourishing, dancing society. And these conditions create the possibility for a coalition of sympathetic discourses (including critical race theory, queer theory, disability studies and democratic theory) united in pursuit of political virtue. The development of a philosophy of dance offers a deeper understanding of the intellectual values of a practice often identified with bodily immediacy and therefore judged uninteresting. It also reinvigorates philosophy with the dynamism and bodily relevance of the practice of dancing. Most important, it demonstrates the meaningful intersection of aesthetics and political ethics, by exploring how aesthetic practices underlie and inspire human flourishing. (shrink)

The book covers scientific and philosophical topics by bringing them closer to literature. Some topics are scientific explanation, the concept of cause, rational argumentation, pseudoscience, language, ethics, philosophy of mind, posthumanism, and democracy. Summary Prefazione di Severino Saccardi. Introduzione. Capitolo 1: Le scrivanie di Eddington. 1.1. Il vecchio Qfwfq (I. Calvino. Le cosmicomiche). 1.2. L’assassino invisibile (L.F. Celine, Il dottor Semmelweis). 1.3. Gli gnommeri di Ingravallo (C.E. Gadda, Quer pasticciaccio brutto de via Merulana). 1.4. I sergenti di Napoleone (L. Tolstoj, (...) Guerra e pace). 1.5. Tex e il Coyote nero (G. Bonelli, Il Coyote nero). 1.6. “Elementare Watson!” (A.C. Doyle, Il segno dei quattro). Capitolo 2. Non saranno mai delusi. 2.1. L’albero di Natale. (V. Perrin, Cambiare l’acqua ai fiori). 2.2. Il dagherrotipo di Buendia. (G.G. Marquez, Cent’anni di solitudine). 2.3. Don Ferrante e la peste. (A. Manzoni, I promessi sposi). Capitolo 3. Capitolo puffo. 3.1. L’Accademia di Lagado. (J. Swift, I viaggi di Gulliver). 3.2. Bruto è uomo d’onore. (W. Shakespeare, Giulio Cesare). 3.3. Le oche mute. (G. Orwell, 1984). Capitolo 4. “Quarantadue!” 4.1. Lo zio N’Ba N’Ga. (I. Calvino, Le cosmicomiche). 4.2. La mosca cocchiera. (J. de La Fontaine, Favole). 4.3. Il fiore del dr. Dek. (E. Salgari, Le meraviglie del Duemila). Capitolo 5. L’ultimo uomo. 5.1. La pernice accusatrice. (Cyrano de Bergerac, Gli stati e gli imperi del Sole). 5.2. Pallino in via Mjasnickaja. (M.A. Bulgakov, Cuore di cane). Capitolo 6. Scenari perturbanti. 6.1. Dissipatio. (G. Morselli, Dissipatio H.G.). 6.2. Un mammifero meccanizzato. (S. Butler, Erewhon). 6.3. Mlle Olimpia. (E.T.A. Hoffmann, Racconti notturni). Capitolo 7. La gente perbene. 7.1. La balena bianca. (H. Melville, Moby Dick). 7.2. Betsabea Everdeene. (T. Hardy, Via dalla pazza folla). 7.3. Un’idea francese. (C. McCarthy, Cavalli selvaggi). 7.4. Le montagne del Montana. (D. Delillo, Rumore bianco). (shrink)

With the coronavirus pandemic and the Omicron variant once again forcing countries into lockdown, this essay seeks to outline a Foucauldian critique of various legal measures taken by the Danish government to cope with COVID-19 during the first year and a half of the pandemic. The essay takes a critical look at the extra-legal measures employed by the Danish government, as the Danish politicians attempted to halt the spread of the, now almost forgotten, Cluster 5 COVID-19 variant. This situation will (...) serve as a critical point from where to start using Foucault’s writings on life and biopolitics in order to expose various legally problematic governmental decisions that became visible during the handling of COVID-19 in general and the Cluster 5 mutation in particular. Reframing the pandemic within Foucault’s concept of biopolitics, this essay concludes that the state of exception has led to an increase in biopolitical logic, where some lives have come to matter more than others. As a critical counterpoint to this logic, the conclusion suggests that the notion of biocommunism could provide a suitable reconfiguration of communism. A reconfiguration that could mitigate some of the issues related to biopolitics is uncovered earlier in the essay. (shrink)

The proposed model in this paper employs different integrated detectors, such as heat, smoke, and flame. The signals from those detectors go through the system algorithm to check the fire's potentiality and then broadcast the predicted result to various parties using GSM modem associated with the GSM network system. The system uses various sensors to detect fire, smoke, and gas, then transmits the message using GSM module. After the message, send by the module the help arrives in 15 minutes. The (...) system is associated with water pump and a sprinkler. The Water system is associated with a water tank and a sprinkler. The water tank uses a Ultrasonic sensor to monitor the level of water level in the tank for refilling the water tank. Once fire is detected, it automatically sends the emergency message and sprinkles the water. (shrink)

Rainfall prediction is one of the challenging tasks in weather forecasting. Accurate and timely rainfall prediction can be very helpful to take effective security measures in dvance regarding: on-going construction projects, transportation activities, agricultural tasks, flight operations and flood situation, etc. Data mining techniques can effectively predict the rainfall by extracting the hidden patterns among available features of past weather data. This research contributes by providing a critical analysis and review of latest data mining techniques, used for rainfall prediction. In (...) our proposed system we propose a new forecasting method that uses a Convolutional Neural Network monthly rainfall for a selected location. In our proposed system we are going to forecast the rainfall result based on the mean square error, mean absolute error and root mean square error, which we get in train and test of the dataset based deep learning technique. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

Cardiovascular diseases (CVD) represent a significant cause of morbidity and mortality worldwide, necessitating early detection for effective intervention. This research explores the application of machine learning (ML) algorithms in predicting cardiovascular diseases with enhanced accuracy by integrating optimization techniques. By leveraging data-driven approaches, ML models can analyze vast datasets, identifying patterns and risk factors that traditional methods might overlook. This study focuses on implementing various ML algorithms, such as Decision Trees, Random Forest, Support Vector Machines, and Neural Networks, optimized through (...) techniques like hyperparameter tuning, cross-validation, and feature selection to improve prediction accuracy. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Phishing attacks remain one of the most prevalent cybersecurity threats, affecting individuals and organizations globally. The rapid evolution of phishing techniques necessitates more sophisticated detection and classification methods. In this paper, we propose a novel approach to phishing content classification using a Genetic Ranking Optimization Algorithm (GROA), combined with dynamic weighting, to improve the accuracy and ranking of phishing versus legitimate content. Our method leverages features such as URL structure, email content analysis, and user behavior patterns to enhance the detection (...) system's decision-making process. (shrink)

The research outlines a workflow that incorporates data collection, preprocessing, model training, and optimization. Real-world datasets from retail and e-commerce sectors are utilized to validate the proposed methodology, showcasing substantial improvements in model performance. The results indicate that optimized models not only provide better predictions of consumer behaviour but also enhance customer segmentation and targeting strategies. The study concludes with recommendations for future research, including the exploration of hybrid optimization techniques and the application of these methods in real-time analytics.

The ever-evolving landscape of cyber threats necessitates robust and adaptable intrusion detection systems (IDS) capable of identifying both known and emerging attacks. Traditional IDS models often struggle with detecting novel threats, leading to significant security vulnerabilities. This paper proposes an optimized intrusion detection model using Support Vector Machine (SVM) algorithms tailored to detect known and innovative cyberattacks with high accuracy and efficiency. The model integrates feature selection and dimensionality reduction techniques to enhance detection performance while reducing computational overhead. By leveraging (...) advanced optimization techniques such as Grid Search and Particle Swarm Optimization (PSO), the proposed SVM-based IDS achieves superior classification results. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

The paper also discusses the technical architecture, including the network protocols, data management strategies, and user interface design considerations necessary to implement such a system. Additionally, it addresses the challenges related to data security, privacy, and system interoperability. Finally, the paper outlines potential future enhancements, such as the incorporation of AI-driven predictive analytics and advanced AR features, to further elevate the smart home experience.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Emotion detection and management have emerged as pivotal areas in humancomputer interaction, offering potential applications in healthcare, entertainment, and customer service. This study explores the use of deep learning (DL) models to enhance emotion recognition accuracy and enable effective emotion regulation mechanisms. By leveraging large datasets of facial expressions, voice tones, and physiological signals, we train deep neural networks to recognize a wide array of emotions with high precision. The proposed system integrates emotion recognition with adaptive management strategies that provide (...) personalized feedback and interventions based on detected emotional states. Our approach surpasses traditional machine learning methods, demonstrating superior performance in real-time applications. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The proposed IDS model is aimed at detecting network intrusions by classifying all the packet traffic in the network as benign or malicious classes. The Canadian Institute for Cyber security Intrusion Detection System (CICIDS2017) dataset has been used to train and validate the proposed model. The model has been evaluated in terms of the overall accuracy, attack detection rate, false alarm rate, and training overhead. DDOS attacks based on Canadian Institute for Cyber security Intrusion Detection System (KDD Cup 99) dataset (...) has been used to train and validate. For validation, comparison for 2 dataset (CICIDS2017 and KDD Cup 99) is done. Then, to implement the Deep learning algorithms is proposed. Method Classification using SVM algorithm Model predict is done. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

In today's data-driven world, the efficient management of network resources is crucial for optimizing performance in data centers and large-scale networks. Load balancing is a critical process in ensuring the equitable distribution of data across multiple paths, thereby enhancing network throughput and minimizing latency. This paper presents a comprehensive approach to load balancing using advanced optimization techniques integrated with multipath routing protocols. The primary focus is on dynamically allocating network resources to manage the massive volume of data generated by modern (...) applications. By leveraging algorithms such as Genetic Algorithms (GA) and Particle Swarm Optimization (PSO), the proposed method efficiently distributes data across multiple paths, ensuring balanced network utilization. The combination of these algorithms with multipath routing significantly reduces congestion and improves overall network performance. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Diabetes is a major public health issue that affects the nations of our time to a large extent and is described as a non-communicable epidemic. Diabetes mellitus is a common disease where there is too much sugar (glucose) floating around in your blood. This occurs because either the pancreas can’t produce enough insulin or the cells in body have become resistant to insulin. The concentration in this paper is on diagnosis diabetes by designing a proposed expert system. The main goal (...) of this expert system is to get the appropriate diagnosing of the illness, dealing with it quickly, and tips for permanent treatment whenever possible is given out. SL5 object expert system language was used for designing and implementing the proposed expert system. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Automatic detection of diseases and anatomical landmarks in medical images by the use of computers is important and considered a challenging process that could help medical diagnosis and reduce the cost and time of investigational procedures and refine health care systems all over the world. Recently, gastrointestinal (GI) tract disease diagnosis through endoscopic image classification is an active research area in the biomedical field. Several GI tract disease classification methods based on image processing and machine learning techniques have been proposed (...) by diverse research groups in the recent past. However, yet effective and comprehensive deep ensemble neural network-based classification model with high accuracy classification results is not available in the literature. In this thesis, we review ways and mechanisms to use deep learning techniques to research on multi-disease computer-aided detection about gastrointestinal and identify these images. We re-trained five state-of-the-art neural network architectures, VGG16, ResNet, MobileNet, Inception-v3, and Xception on the Kvasir dataset to classify eight categories that include an anatomical landmark (pylorus, z-line, cecum), a diseased state (esophagitis, ulcerative colitis, polyps), or a medical procedure (dyed lifted polyps, dyed resection margins) in the Gastrointestinal Tract. Our models have showed results with a promising accuracy which is a remarkable performance with respect to the state-of-the-art approaches. The resulting accuracies achieved using VGG, ResNet, MobileNet, Inception-v3, and Xception were 98.3%, 92.3%, 97.6%, 90% and 98.2%, respectively. As it appears, the most accurate result has been achieved when retraining VGG16 and Xception neural networks with accuracy reache to 98% due to its high performance on training on ImageNet dataset and internal structure that support classification problems. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

The modal account of luck is the predominant account of luck in epistemology and ethics. In the first half of this paper, I discuss three possible interpretations of the modal account and raise objections to each. I then raise an objection to all plausible versions of the modal account, that is, that whether an event is lucky or the extent to which it is a matter of luck will depend on what initial conditions or features of the event one holds (...) constant across nearby possible worlds. However, there is often reasonable disagreement about what the relevant initial conditions of an event are, and the modal account of luck has no means of determining which description of the event is correct. As such, the modal account is subject to a kind of reference class problem, and the view cannot actually tell us the extent to which certain events are a matter of luck. (shrink)

On how medieval philosophy is not (only) theology.

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

This essay examines the possibility that phenomenological laws might be implemented by a computational mechanism by carefully analyzing key passages from the Prolegomena to Pure Logic. Part I examines the famous Denkmaschine passage as evidence for the view that intuitions of evidence are causally produced by computational means. Part II connects the less famous criticism of Avenarius & Mach on thought-economy with Husserl's 1891 essay 'On the Logic of Signs (Semiotic).' Husserl is shown to reaffirm his earlier opposition to associationist (...) (Humean) and adaptationist (Darwinian) explanations of our thought-machine on the ground that they cannot reconstruct the notion of truth and its syntactic mental preservation in symbolic thought-trains. Part III reveals Husserl's interesting commitment to the idea that descriptive sciences necessarily transform into explanatory sciences on pain of contradicting the essence of science as a rational ideal. Since explanation in relation to phenomenology means causal explanation, and causal explanation in the form of the Denkmaschine accounts for phenomenological intuition, it is inferred that the rationally compelling ideal of explanatory science requires a computationalist reading of the subsequent logical investigations. (shrink)

I argue that pragmatic considerations explain puzzling epistemic modal disagreement cases. In particular, I claim that there are two different types of information sources involved in epistemically modalized propositions. One information source is a first-person epistemic state, or a group of epistemic states; another is a third-person, external source of information. This distinction helps make sense of felicitous and infelicitous responses in epistemic modal disagreement cases, which I go through in some detail.

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)